mensch(sokrates).
sterblich(X) :- mensch(X).
